Combining Texts

All the ideas for 'Aristotle and Descartes on Matter', 'Difficulties of Transfinite Numbers and Types' and 'Logicism in the 21st Century'

expand these ideas     |    start again     |     specify just one area for these texts

8 ideas

6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / d. Hume's Principle
8784 Neo-logicism founds arithmetic on Hume's Principle along with second-order logic [Hale/Wright]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / e. Caesar problem
8787 The Julius Caesar problem asks for a criterion for the concept of a 'number' [Hale/Wright]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism
8788 Logicism is only noteworthy if logic has a privileged position in our ontology and epistemology [Hale/Wright]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism
8783 Logicism might also be revived with a quantificational approach, or an abstraction-free approach [Hale/Wright]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / d. Predicativism
21559 We need rules for deciding which norms are predicative (unless none of them are) [Russell]
21558 'Predicative' norms are those which define a class [Russell]
18. Thought / E. Abstraction / 7. Abstracta by Equivalence
8786 One first-order abstraction principle is Frege's definition of 'direction' in terms of parallel lines [Hale/Wright]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / b. Prime matter
19399 Prime matter is nothing when it is at rest [Leibniz]